00100	                    ARTIFICIAL INTELLIGENCE MEMOS
00200	
00300	
00400	In the listing  below, there are up  to three numbers given  for each
00500	Artificial Intelligence  Memo: an  "AIM" number on  the left,  a "CS"
00600	(Computer  Science) number  in the  middle, and  a NTIS  stock number
00700	(often beginning "AD...")  on the right.  If  there is no "*"  to the
00800	left of  the AIM  number, then  it is  in stock  at Stanford  at this
00900	writing and may be requested from:
01000	   Documentation Services
01100	   Artificial Intelligence Laboratory
01200	   Stanford University
01300	   Stanford, California 94305
01400	
01500	Alternatively, if there is an NTIS number given, then the  report may
01600	be ordered using that number from:
01700	   National Technical Information Service
01800	   P. O. Box 1553
01900	   Springfield, Virginia 22151
02000	
02100	If there is no  NTIS number given then they  may or may not  have the
02200	report.  In requesting copies in this case, give them both the "AIM-"
02300	and "CS-nnn" numbers, with  the latter enlarged into the  form "STAN-
02400	CS-yy-nnn",  where  "yy"  is  the last  two  digits  of  the  year of
02500	publication.
02600	
02700	Memos  that are  also Ph.D.  theses are  so marked  below and  may be
02800	ordered from:
02900	   University Microfilm
03000	   P. O. Box 1346
03100	   Ann Arbor, Michigan 48106
03200	
03300	For people with access to the  ARPA Network, the texts of some  A. I.
03400	Memos are stored online in  the Stanford A. I. Laboratory  disk file.
03500	These are  designated below by  "Diskfile: <file name>"  appearing in
03600	the header.
     

00100	AIM-1,,,
00200	John McCarthy,
00300	"Predicate Calculus with `Undefined' as a Truth-value"
00400	5 pages, March 1963.
00500	
00600	AIM-2,,AD785031
00700	John McCarthy,
00800	"Situations, Actions, and Causal Laws"
00900	11 pages, July 1963.
01000	
01100	AIM-3,,,
01200	Fred Safier,
01300	"`The Mikado' an an Advice Taker Problem"
01400	4 pages, July 1963.
01500	
01600	*AIM-4,,,
01700	Horace Enea,
01800	"Clock Function for LISP 1.5"
01900	2 pages, August 1963.
02000	
02100	AIM-5,,AD785043
02200	Horace Enea, Dean Wooldridge,
02300	"Algebraic Simplication"
02400	2 pages, August 1963.
02500	
02600	*AIM-6,,,
02700	Dean Wooldridge,
02800	"Non-printing Compiler"
02900	2 pages, August 1963.
03000	
03100	AIM-7,,AD785044
03200	John McCarthy,
03300	"Programs With Common Sense"
03400	7 pages, September 1963.
03500	
03600	*AIM-8,,,
03700	John McCarthy,
03800	"Storage Conventions in LISP 2"
03900	? pages, September 1963.
04000	
04100	*AIM-9,,,
04200	C. M. Williams,
04300	"Computing Estimates for the Number of Bisections of an NxN
04400	Checkerboard for N Even"
04500	9 pages, December 1963.
04600	
04700	AIM-10,,AD785045
04800	Stephan R. Russell,
04900	"Improvements in LISP Debugging"
05000	3 pages, December 1963.
05100	
05200	AIM-11,,AD785046
05300	Dean Wooldridge, Jr.,
05400	"An Algebraic Simplify Program in LISP"
05500	57 pages, December 1963.
05600	
05700	AIM-12,,,
05800	Gary Feldman,
05900	"Documentation of the MacMahon Squares Problem"
06000	4 pages, January 1964.
06100	
06200	AIM-13,,AD785047
06300	Dean E. Wooldridge,
06400	"The New LISP System (LISP l.55)"
06500	4 pages, February 1964.
06600	
06700	AIM-14,,AD785035
06800	John McCarthy,
06900	"Computer Control of a Machine for Exploring Mars"
07000	6 pages, January 1964.
07100	
07200	AIM-15,,AD785036
07300	Mark Finkelstein, Fred Safier,
07400	"Axiomatization and Implementation"
07500	6 pages, June 1964.
07600	
07700	AIM-16,,AD785037
07800	John McCarthy,
07900	"A Tough nut for Proof Procedures"
08000	3 pages, July 1964.
08100	
08200	AIM-17,,AD785038
08300	John McCarthy,
08400	"Formal Description of the Game of Pang-Ke"
08500	2 pages, July 1964.
08600	
08700	AIM-18,,AD785048
08800	Jan Hext,
08900	"An Expression Input Routine for LISP"
09000	5 pages, July 1964.
09100	
09200	*AIM-19,,,
09300	Jan Hext,
09400	"Programming Languages and Translation"
09500	14 pages, August 1964.
09600	
09700	AIM-20,,AD785039
09800	D. Raj. Reddy,
09900	"Source Language Optimization of For-loops"
10000	37 pages, August 1964.
10100	
10200	AIM-21,,AD785040
10300	R. W. Mitchell,
10400	"LISP 2 Specifications Proposal"
10500	12 pages, August 1964.
10600	
10700	AIM-22,,AD785041
10800	Richard Russell,
10900	"Kalah -- the Game and the Program"
11000	13 pages, September 1964.
11100	
11200	AIM-23,,AD785049
11300	Richard Russell,
11400	"Improvements to the Kalah Program"
11500	12 pages, September 1964.
11600	
11700	AIM-24,,AD785050
11800	John McCarthy,
11900	"A Formal Description of a Subset of ALGOL"
12000	43 pages, September 1964.
12100	
12200	AIM-25,,AD785051
12300	Richard Mansfield,
12400	"A Formal System of Computation"
12500	7 pages, September 1964.
12600	
12700	AIM-26,,AD785052
12800	D. Raj. Reddy,
12900	"Experiments on Automatic Speech Recognition by a Digital Computer"
13000	19 pages, October 1964.
13100	
13200	AIM-27,,AD785053
13300	John McCarthy,
13400	"A Proof-checker for Predicate Calculus"
13500	7 pages, March 1965.
13600	
13700	AIM-28,,AD785054
13800	John McCarthy,
13900	"Problems in the Theory of Computation"
14000	7 pages, March 1965.
14100	
14200	AIM-29,,AD785055
14300	Charles M. Williams,
14400	"Isolation of Important Features of a Multitoned Picture"
14500	9 pages, January 1965.
14600	
14700	AIM-30,,AD785056
14800	Edward A. Feigenbaum, Richard W. Watson,
14900	"An Initial Problem Statement for a Machine Induction Research
15000	 Project"
15100	8 pages, April 1965.
15200	
15300	*AIM-31,,AD785057
15400	John McCarthy,
15500	"Plans for the Stanford Artificial Intelligence Project"
15600	17 pages, April 1965.
15700	
15800	AIM-32,,AD785068
15900	Harry Ratchford,
16000	"The 138 Analog Digital Converter"
16100	9 pages, May 1965.
16200	
16300	AIM-33,,AD785032
16400	Barbara Huberman,
16500	"The Advice Taker and GPS"
16600	8 pages, June 1965.
16700	
16800	AIM-34,,AD785069
16900	Peter Carah,
17000	"A Television Camera Interface for the PDP-1"
17100	8 pages, June 1965.
17200	
17300	*AIM-35,,,
17400	Fred Safier,
17500	"Simple Simon"
17600	17 pages, June 1965.
17700	
17800	AIM-36,,AD785065
17900	James Painter,
18000	"Utilization of a TV Camera on the PDP-1"
18100	6 pages, September 1965.
18200	
18300	*AIM-37,,,
18400	Knut Korsvold,
18500	"An on Line Algebraic Simplification Program"
18600	36 pages, November 1965.
18700	
18800	AIM-38,,AD785066
18900	Donald A. Waterman,
19000	"A Filter for a Machine Induction System"
19100	19 pages, January 1966.
19200	
19300	AIM-39,,AD785067
19400	Karl Pingle,
19500	"A Program to Find Objects in a Picture"
19600	22 pages, January 1966.
19700	
19800	AIM-40, CS-38, AD662880,
19900	John McCarthy, James Painter,
20000	"Correctness of a Compiler for Arithmetic Expressions"
20100	13 pages, April 1966.
20200	
20300	*AIM-41,,,
20400	Phil Abrams, Dianna Rode,
20500	"A Proposal for a Proof-checker for Certain Axiomatic Systems"
20600	10 pages, May 1966.
20700	
20800	AIM-42,,,
20900	Karl Pingle,
21000	"A Proposal for a Visual Input Routine"
21100	11 pages, June 1966.
21200	
21300	*AIM-43, CS-49, SS640-836,
21400	D. Raj. Reddy,
21500	"An Approach to Computer Speech Recognition by Direct Analysis of the
21600	 Speech Wave"
21700	Thesis: Ph.D. in Computer Science,
21800	144 pages, September 1966.
21900	
22000	*AIM-44,,,
22100	James Painter,
22200	"Semantic Correctness of a Compiler for an Algol-like Language"
22300	Thesis: Ph.D. in Computer Science,
22400	130 pages, revised March 1967.
22500	
22600	AIM-45,,,
22700	Donald Kaplan,
22800	"Some Completeness Results in the Mathematical Theory of Computation"
22900	22 pages, October 1966.
23000	
23100	*AIM-46, CS-50, PB176761,
23200	Staffan Persson,
23300	"Some Sequence Extrapolating Programs: a Study of Representation and
23400	 Modeling in Inquiring Systems"
23500	Thesis: Ph.D. in Computer Science,
23600	176 pages, September 1966.
23700	
23800	*AIM-47,,,
23900	Bruce Buchanan,
24000	"Logics of Scientific Discovery"
24100	Thesis: Ph.D. in Philosophy U.C. Berkeley,
24200	210 pages, December 1966.
24300	
24400	AIM-48,,,
24500	Donald M. Kaplan,
24600	"Correctness of a Compiler for Algol-like Programs"
24700	46 pages, July 1967.
24800	
24900	AIM-49,,,
25000	Georgia Sutherland,
25100	"DENDRAL -- a Computer Program for Generating and Filtering Chemical
25200	 Structures"
25300	34 pages, February 1967.
25400	
25500	AIM-50,,,
25600	Anthony C. Hearn,
25700	"Reduce Users' Manual"
25800	53 pages, February 1967.
25900	
26000	AIM-51,,,
26100	Lester D. Earnest,
26200	"Choosing an eye for a Computer"
26300	154 pages, April 1967.
26400	
26500	AIM-52,,,
26600	Arthur L. Samuel,
26700	"Some Studies in Machine Learning Using the Game of Checkers II -
26800	 Recent Progress"
26900	48 pages, June 1967.
27000	
27100	AIM-53,,,
27200	William Weiher,
27300	"The PDP-6 Proof Checker"
27400	47 pages, June 1967.
27500	
27600	AIM-54,,,
27700	Joshua Lederberg, Edward A. Feigenbaum,
27800	"Mechanization of Inductive Inference in Organic Chemistry"
27900	29 pages, August 1967.
28000	
28100	AIM-55,,,
28200	Jerome Feldman,
28300	"First Thoughts of Grammatical Inference"
28400	18 pages, August 1967.
28500	
28600	AIM-56,,,
28700	William Wichman,
28800	"Use of Optical Feedback in the Computer Control of an Arm"
28900	Thesis: Eng. in Electrical Engineering,
29000	69 pages, August 1967.
29100	
29200	AIM-57,,,
29300	Anthony C. Hearn,
29400	"REDUCE, a User-oriented Interactive System for Algebraic Simplification"
29500	69 pages, October 1967.
29600	
29700	AIM-58,,,
29800	Monte D. Callero,
29900	"An Adaptive Command and Control System Utilizing Heuristic Learning
30000	 Processes"
30100	Thesis: Ph.D. in Operations Research,
30200	161 pages, December 1967.
30300	
30400	*AIM-59,,,
30500	Donald M. Kaplan,
30600	"A Formal Theory Concerning the Equivalence of Algorithms"
30700	20 pages, May 1968.
30800	
30900	AIM-60, CS-101, AD672923,
31000	Donald M. Kaplan,
31100	"The Formal Theoretic Analysis of Strong Equivalence for Elemental
31200	 Programs"
31300	Thesis: Ph.D. in Computer Science,
31400	263 pages, June 1968.
31500	
31600	*AIM-61,,,
31700	Takayasu Ito,
31800	"Notes on Theory of Computation and Pattern Recognition"
31900	144 pages, May 1968.
32000	
32100	AIM-62,,,
32200	Bruce Buchanan, Georgia Sutherland,
32300	"Heuristic Dendral: a Program for Generating Explanatory Hypotheses in
32400	 Organic Chemistry"
32500	76 pages, July 1968.
32600	
32700	AIM-63,,,
32800	Donald M. Kaplan,
32900	"Regular Expressions and the Equivalence of Programs"
33000	42 pages, July 1968.
33100	
33200	*AIM-64,,,
33300	Zohar Manna,
33400	"Formalization of Properties of Programs"
33500	18 pages, July 1968.
33600	
33700	AIM-65, CS-106, AD673971,
33800	Barbara J. Huberman,
33900	"A Program to Play Chess end Games"
34000	Thesis: Ph.D. in Computer Science,
34100	168 pages, August 1968.
34200	
34300	*AIM-66,,,
34400	Jerome A. Feldman, Paul D. Rovner,
34500	"An Algol-based Associative Language"
34600	31 pages, August 1968.
34700	
34800	*AIM-67,,AD680487,
34900	Edward A. Feigenbaum,
35000	"Artificial Intelligence: Themes in the Second Decade"
35100	39 pages, August 1968.
35200	
35300	AIM-68,,,
35400	Zohar Manna, Amir Pnueli,
35500	"The Validity Problem of the 91-function"
35600	20 pages, August 1968.
35700	
35800	*AIM-69,, AD677588,
35900	John McCarthy, Edward Feigenbaum, Arthur Samuel,
36000	"Project Technical Report"
36100	90 pages, September 1968.
36200	
36300	AIM-70,, AD680072,
36400	Anthony C. Hearn,
36500	"The Problem of Substitution"
36600	14 pages, December 1968.
36700	
36800	AIM-71,, AD677520,
36900	Pierre Vicens,
37000	"Preprocessing for Speech Analysis"
37100	33 pages, October 1968.
37200	
37300	*AIM-72, CS-116, AD680036,
37400	Donald L. Pieper,
37500	"The Kinematics of Manipulators under Computer Control"
37600	Thesis: Ph.D. in Mechanical Engineering,
37700	157 pages, October 1968.
37800	
37900	*AIM-73,, AD678878,
38000	John McCarthy, Patrick Hayes,
38100	"Some Philosophical Problems From the Standpoint of Artificial
38200	 Intelligence"
38300	51 pages, November 1968.
38400	
38500	*AIM-74, CS-118, AD681027,
38600	Donald Waterman,
38700	"Machine Learning of Heuristics"
38800	Thesis: Ph.D. in Computer Science,
38900	? pages, December 1968.
39000	
39100	*AIM-75,,,
39200	Roger C. Schank,
39300	"A Notion of Linguistic Concept: a Prelude to Mechanical Translation"
39400	21 pages, December 1968.
39500	
39600	*AIM-76,,,
39700	Roger C. Schank,
39800	"A Conceptual Parser for Natural Language"
39900	22 pages, December 1968.
40000	
40100	AIM-77,,,
40200	Joseph D. Becker,
40300	"The Modeling of Simple Analogic and Inductive Processes in a Semantic
40400	 Memory System"
40500	21 pages, January 1969.
40600	
40700	AIM-78,,,
40800	D. Raj. Reddy,
40900	"On the use of Environmental, Syntactic and Probalistic Constraints in
41000	 Vision and Speech"
41100	23 pages, January 1969.
41200	
41300	AIM-79,, AD685611,
41400	D. Raj. Reddy, Richard B. Neely,
41500	"Contextual Analysis of Phonemes of English"
41600	71 pages, January 1969.
41700	
41800	*AIM-80,, AD685612,
41900	Georgia Sutherland,
42000	"Heuristic Dendral: a Family of LISP Programs"
42100	46 pages, March 1969.
42200	
42300	*AIM-81,, AD685613,
42400	David Luckham,
42500	"Refinement Theorems in Resolution Theory"
42600	31 pages, March 1969.
42700	
42800	*AIM-82,, AD685614,
42900	Zohar Manna, Amir Pneuli,
43000	"Formalization of Properties of Recursively Defined Functions"
43100	26 pages, March 1969.
43200	
43300	*AIM-83, CS-130,,
43400	Roger C. Schank,
43500	"A Conceptual Representation for Computer-oriented Semantics"
43600	Thesis: Ph.D. in Linguistics U. of Texas,
43700	201 pages, March 1969.
43800	
43900	*AIM-84,, AD691791,
44000	David Canfield Smith,
44100	"MLISP Users' Manual"
44200	57 pages, January 1969.
44300	
44400	*AIM-85, CS-127, AD687720,
44500	Pierre Vicens,
44600	"Aspects of Speech Recognition by Computer"
44700	Thesis: Ph.D. in Computer Science,
44800	210 pages, April 1969.
44900	
45000	*AIM-86,, AD691788,
45100	Patrick J. Hayes,
45200	"A Machine-oriented Formulation of the Extended Functional Calculus"
45300	44 pages, June 1969.
45400	
45500	*AIM-87,, AD691789,
45600	John McCarthy, A.I. Project Staff,
45700	"Project Technical Report"
45800	98 pages, June 1969.
45900	
46000	*AIM-88,, AD691790,
46100	Roger C. Schank,
46200	"Linguistics from a Conceptual Viewpoint (Aspects of Aspects of a
46300	 Theory of Syntax)"
46400	22 pages, April 1969.
46500	
46600	AIM-89, CS-125, AD692390,
46700	Jerome A. Feldman, J. Gips, J. J. Horning, and S. Reder,
46800	"Grammatical Complexity and Inference"
46900	100 pages, June 1969.
47000	
47100	*AIM-90,, AD691799,
47200	Anthony C. Hearn,
47300	"Standard LISP"
47400	33 pages, May 1969.
47500	
47600	AIM-91,,,
47700	J. A. Campbell and Anthony C. Hearn,
47800	"Symbolic Analysis of Feynman Diagrams by Computer"
47900	73 pages, August 1969.
48000	
48100	*AIM-92,,,
48200	Victor D. Scheinman,
48300	"Design of a Computer Controlled Manipulator"
48400	Thesis: Eng. in Mechanical Engineering,
48500	53 pages, June 1969.
48600	
48700	AIM-93.1,, AD693106,
48800	Jerome Feldman,
48900	"Some Decidability Results on Grammatical Inference and Complexity"
49000	31 pages, August 1969, revised May 1970.
49100	
49200	AIM-94,, AD692391,
49300	Kenneth Mark Colby, Lawrence Tesler, Horace Enea,
49400	"Experiments With a Search Algorithm on the Data Base of a Human
49500	 Belief Structure"
49600	28 pages, August 1969.
49700	
49800	*AIM-95,, AD694971,
49900	Zohar Manna,
50000	"The Correctness of Non-deterministic Programs"
50100	44 pages, August 1969.
50200	
50300	*AIM-96, CS-138, AD696394,
50400	Claude Cordell Green,
50500	"The Application of Theorem Proving to Question-answering Systems"
50600	Thesis: Ph.D. in Electrical Engineering,
50700	166 pages, August 1969.
50800	
50900	*AIM-97,, AD694972,
51000	Kenneth Mark Colby, David Canfield Smith,
51100	"Dialogues Between Humans and an Artificial Belief System"
51200	28 pages, August 1969.
51300	
51400	AIM-98, CS-139, AD695401,
51500	James Jay Horning,
51600	"A Study of Grammatical Inference"
51700	Thesis: Ph.D. in Computer Science,
51800	166 pages, August 1969.
51900	
52000	AIM-99,,,
52100	Bruce G. Buchanan, G. L. Sutherland, E. A. Feigenbaum,
52200	"Toward an Understanding of Information Processes of Scientific
52300	 Inference in the Context of Organic Chemistry"
52400	66 pages, September 1969.
52500	
52600	AIM-100,,,
52700	Zohar Manna, John McCarthy,
52800	"Properties of Programs and Partial Function Logic"
52900	21 pages, October 1969.
53000	
53100	*AIM-101,,,
53200	Richard Paul, G. Falk, J. A. Feldman,
53300	"The Computer Representation of Simply Described Scenes"
53400	16 pages, October 1969.
53500	
53600	*AIM-102,,,
53700	Donald A. Waterman,
53800	"Generalization Learning for Automating the Learning of Heuristics"
53900	74 pages, July 1969.
54000	
54100	AIM-103,,,
54200	John Allen, David Luckham
54300	"An Interactive Theorem-proving Program"
54400	27 pages, October 1969.
54500	
54600	AIM-104,,,
54700	Joshua Lederberg, Georgia Sutherland, B. G. Buchanan, E. A. Feigenbaum,
54800	"A Heuristic Program for Solving a Scientific Inference Problem:
54900	 Summary of Motivation and Implementation"
55000	15 pages, November 1969.
55100	
55200	*AIM-105,,,
55300	Manfred Heuckel,
55400	"An Operator Which Locates Edges in Digitized Pictures"
55500	37 pages, October 1969.
55600	
55700	AIM-106,,,
55800	Michael Edwin Kahn,
55900	"The Near-minimum-time Control of Open-loop Articulated Kinematic
56000	 Chains"
56100	Thesis: Ph.D. in Mechanical Engineering,
56200	171 pages, December 1969.
56300	
56400	*AIM-107,,,
56500	Gilbert Falk,
56600	"Some Implications of Planarity for Machine Perception"
56700	27 pages, December 1969.
56800	
56900	*AIM-108,,,
57000	Michael D. Kelly,
57100	"Edge Detection in Pictures by Computer Using Planning"
57200	28 pages, January 1970.
57300	
57400	*AIM-109,,,
57500	Roger C. Schank, Lawrence Tesler, Sylvia Weber,
57600	"Spinoza II: Conceptual Case-based Natural Language Analysis"
57700	107 pages, January 1970.
57800	
57900	*AIM-110,,,
58000	Edward Ashcroft, Zohar Manna,
58100	"Formalization of Properties of Parallel Programs"
58200	58 pages, February 1970.
58300	
58400	*AIM-111,,,
58500	Zohar Manna,
58600	"Second-order Mathematical Theory of Computation"
58700	25 pages, March 1970.
58800	
58900	AIM-112,,,
59000	Franklin D. Hilf, Kenneth M. Colby, David C. Smith, William K. Wittner,
59100	"Machine-mediated Interviewing"
59200	27 pages, March 1970.
59300	
59400	*AIM-113,,,
59500	Kenneth Mark Colby, Franklin D. Hilf, William A. Hall,
59600	"A Mute Patient's Experience With Machine-mediated Interviewing"
59700	19 pages, March 1970.
59800	
59900	*AIM-114,,,
60000	Alan W. Biermann, Jerome A. Feldman,
60100	"On the Synthesis of Finite-state Acceptors"
60200	31 pages, April 1970.
60300	
60400	AIM-115,,,
60500	Ugo Montanari,
60600	"On the Optimal Detection of Curves in Noisy Pictures"
60700	35 pages, March 1970.
60800	
60900	*AIM-116,,,
61000	Kenneth Mark Colby,
61100	"Mind and Brain, Again"
61200	10 pages, March 1970.
61300	
61400	*AIM-117,,,
61500	John McCarthy, et al,
61600	"Project Technical Report"
61700	75 pages, April 1970.
61800	
61900	AIM-118,,,
62000	Ugo Montanari,
62100	"Heuristically Guided Search and Chromosome Matching"
62200	29 pages, April 1970.
62300	
62400	*AIM-119,,,
62500	Joseph Becker,
62600	"An Information-processing Model of Intermediate-Level Cognition"
62700	Thesis:  Ph.D. in Computer Science (May 1972),
62800	123 pages, May 1970.
62900	
63000	*AIM-120,,,
63100	Kenneth Mark Colby, David Canfield Smith,
63200	"Computer as Catalyst in the Treatment of Nonspeaking Autistic
63300	 Children"
63400	32 pages, April 1970.
63500	
63600	*AIM-121,,,
63700	Irwin Sobel,
63800	"Camera Models and Machine Perception"
63900	Thesis: Ph.D. in Electrical Engineering,
64000	89 pages, May 1970.
64100	
64200	*AIM-122,,,
64300	Roger C. Schank,
64400	"`Semantics' in Conceptual Analysis"
64500	56 pages, May 1970.
64600	
64700	AIM-123,,,
64800	Bruce G. Buchanan, Thomas E. Headrick,
64900	"Some Speculation About Artificial Intelligence and Legal Reasoning"
65000	54 pages, May 1970.
65100	
65200	AIM-124,,,
65300	M. M. Astrahan,
65400	"Speech Analysis by Clustering, or the Hyperphoneme Method"
65500	22 pages, June 1970.
65600	
65700	*AIM-125,,,
65800	Kenneth Mark Colby, Sylvia Weber, Franklin Hilf,
65900	"Artificial Paranoia"
66000	35 pages, July 1970.
66100	
66200	AIM-126, CS-169, AD711329,
66300	Donald E. Knuth,
66400	"Examples of Formal Semantics"
66500	34 pages, July 1970.
66600	
66700	AIM-127, CS-174, AD711395,
66800	Zohar Manna, Richard J. Waldinger,
66900	"Towards Automatic Program Synthesis"
67000	54 pages, July 1970.
67100	
67200	AIM-128, CS-166, AD713841,
67300	Erik J. Sandewall,
67400	"Representing Natural-language Information in Predicate Calculus"
67500	27 pages, July 1970.
67600	
67700	*AIM-129, CS-167, AD712460,
67800	Shigeru Igarashi,
67900	"Semantics of ALGOL-like Statements"
68000	95 pages, June 1970.
68100	
68200	AIM-130, CS-168, AD713252,
68300	Michael D. Kelly,
68400	"Visual Identification of People by Computer"
68500	Thesis: Ph.D. in Computer Science,
68600	238 pages, July 1970.
68700	
68800	AIM-131, CS-176, AD715128,
68900	Edward A. Feigenbaum, Bruce G. Buchanan, Joshua Lederberg,
69000	"On Generality and Problem Solving: a Case Study Using the Dendral
69100	 Program"
69200	48 pages, August 1970.
69300	
69400	*AIM-132, CS-180, AD715665,
69500	Gilbert Falk,
69600	"Computer Interpretation of Imperfect Line Data as a Three-dimensional
69700	 Scene"
69800	Thesis: Ph.D. in Electrical Engineering,
69900	187 pages, August 1970.
70000	
70100	*AIM-133, CS-181,,
70200	Anthony C. Hearn,
70300	"Reduce 2"
70400	Diskfile: REDUCE.ACH[AIM,DOC],
70500	85 pages, October 1970.
70600	
70700	*AIM-134, CS-182, AD748565,
70800	Jay Martin Tenenbaum,
70900	"Accommodation in Computer Vision"
71000	Thesis: Ph.D. in Electrical Engineering,
71100	452 pages, September 1970.
71200	
71300	AIM-135, CS-179, AD716566,
71400	David Canfield Smith,
71500	"MLISP"
71600	Diskfile: MLISP.DAV[AIM,DOC]
71700	99 pages, October 1970.
71800	
71900	*AIM-136, CS-183, AD717600,
72000	George M. White,
72100	"Machine Learning Through Signature Trees. Applications to Human
72200	 Speech"
72300	40 pages, October 1970.
72400	
72500	*AIM-137,,,
72600	Donald E. Knuth,
72700	"An Empirical Study of Fortran in Use"
72800	44 pages, November 1970.
72900	
73000	AIM-138, CS-188, PB197161,
73100	Edward Ashcroft, Zohar Manna,
73200	"The Translation of `GO-TO' Programs to `WHILE' Programs"
73300	28 pages, January 1971.
73400	
73500	AIM-139, CS-189, AD717601,
73600	Zohar Manna,
73700	"Mathematical Theory of Partial Correctness"
73800	24 pages, January 1971.
73900	
74000	*AIM-140, CS-193,,
74100	Roger C. Schank,
74200	"Intention, Memory, and Computer Understanding"
74300	59 pages, January 1971.
74400	
74500	*AIM-141, CS-203, AD730506,
74600	Bruce G. Buchanan, Joshua Lederberg,
74700	"The Heuristic DENDRAL Program for Explaining Empirical Data"
74800	20 pages, February 1971.
74900	
75000	AIM-142, CS-205, AD731383,
75100	Robin Milner,
75200	"An Algebraic Definition of Simulation Between Programs"
75300	21 pages, February 1971.
75400	
75500	*AIM-143, CS-209, AD724867,
75600	John McCarthy, et al,
75700	"Project Technical Report"
75800	80 pages, March 1971.
75900	
76000	AIM-144, CS-219,,
76100	Lynn H. Quam,
76200	"Computer Comparison of Pictures"
76300	Thesis: Ph.D. in Computer Science,
76400	120 pages, May 1971.
76500	
76600	*AIM-145, CS-221, AD731729,
76700	Bruce G. Buchanan, Edward A. Feigenbaum, Joshua Lederberg,
76800	"A Heuristic Programming Study of Theory Formation in Science"
76900	41 pages, June 1971.
77000	
77100	AIM-146, CS-224, PB212183,
77200	Andrei P. Ershov,
77300	"Parallel Programming"
77400	14 pages, July 1971.
77500	
77600	*AIM-147, CS-216, AD732457,
77700	Robert E. Kling,
77800	"Reasoning by Analogy with Applications to Heuristic Problem Solving:
77900	 a Case Study"
78000	Thesis: Ph.D. in Computer Science,
78100	191 pages, August 1971.
78200	
78300	AIM-148, CS-217, AD731730,
78400	Edward Ashcroft, Zohar Manna, Amir Pneuli,
78500	"Decidable Properties of Monadic Functional Schemas"
78600	10 pages, July 1971.
78700	
78800	AIM-149, CS-231, AD732644,
78900	Rodney Albert Schmidt, Jr.,
79000	"A Study of the Real-time Control of a Computer-driven Vehicle"
79100	Thesis: Ph.D. in Electrical Engineering,
79200	180 pages, August 1971.
79300	
79400	*AIM-150,,,
79500	Robert W. Floyd,
79600	"Toward Interactive Design of Correct Programs"
79700	12 pages, September 1971.
79800	
79900	*AIM-151, CS-240, AD738568,
80000	Ralph L. London,
80100	"Correctness of Two Compilers for a LISP Subset"
80200	41 pages, October 1971.
80300	
80400	*AIM-152, CS-241, AD732642,
80500	Alan W. Biermann,
80600	"On the Inference of Turing Machines from Sample Computations"
80700	31 pages, October 1971.
80800	
80900	*AIM-153, CS-242, AD738569,
81000	Patrick J. Hayes,
81100	"The Frame Problem and Related Problems in Artificial Intelligence"
81200	18 pages, November 1971.
81300	
81400	*AIM-154, CS-243, AD738570,
81500	Zohar Manna, Stephen Ness, Jean Vuillemin,
81600	"Inductive Methods for Proving Properties of Programs"
81700	24 pages, November 1971.
81800	
81900	AIM-155, CS-245,,
82000	Jonathan Leonard Ryder,
82100	"Heuristic Analysis of Large Trees as Generated in the Game of Go"
82200	Thesis: Ph.D. in Computer Science,
82300	300 pages, December 1971.
82400	
82500	AIM-156, CS-246, AD740141,
82600	Kenneth Mark Colby, Franklin D. Hilf, Sylvia Weber, Helena C. Kraemer,
82700	"A Resemblance Test for the Validation of a Computer Simulation of
82800	 Paranoid Processes"
82900	29 pages, November 1971.
83000	
83100	*AIM-157, CS-247,,
83200	Yorick Wilks,
83300	"One Small Head -- Some Remarks on the use of `Model' in Linguistics"
83400	17 pages, December 1971.
83500	
83600	AIM-158, CS-250, AD740127,
83700	Ashok Chandra, Zohar Manna,
83800	"Program Schemas With Equality"
83900	13 pages, December 1971.
84000	
84100	AIM-159, CS-253,,
84200	Jerome A. Feldman, Paul C. Shields,
84300	"Total Complexity and Inference of Best Programs"
84400	40 pages, April 1972.
84500	
84600	*AIM-160, CS-255, AD740140,
84700	Jerome A. Feldman,
84800	"Automatic Programming"
84900	20 pages, February 1972.
85000	
85100	AIM-161, CS-264, AD741189,
85200	Yorick Wilks,
85300	"Artificial Intelligence approach to Machine Translation"
85400	44 pages, February 1972.
85500	
85600	*AIM-162, CS-265, AD744634,
85700	Roger C. Schank, N. Goldman, C. J. Rieger, C. K. Riesbeck,
85800	"Primitive Concepts Underlying Verbs of Thought"
85900	102 pages, April 1972.
86000	
86100	AIM-163, CS-266,,
86200	Jean M. Cadiou,
86300	"Recursive Definitions of Partial Functions and Their Computations"
86400	Thesis: Ph.D. in Computer Science,
86500	160 pages, April 1972.
86600	
86700	AIM-164, CS-272, AD742748,
86800	Zohar Manna, Jean Vuillemin,
86900	"Fixpoint Approach to the Theory of Computation"
87000	29 pages, April 1972.
87100	
87200	*AIM-165, CS-280, AD742751,
87300	D. A. Bochvar,
87400	"Two Papers on Partial Predicate Calculus"
87500	50 pages, April 1972.
87600	
87700	AIM-166, CS-281, AD-743598,
87800	Lynn H. Quam, S. Liebes, R. B. Tucker, M. J. Hannah, B. G. Eross,
87900	"Computer Interactive Picture Processing"
88000	40 pages, April 1972.
88100	
88200	AIM-167, CS-282, AD747254,
88300	Ashok K. Chandra,
88400	"Efficient Compilation of Linear Recursive Programs"
88500	43 pages, June 1972.
88600	
88700	AIM-168, CS-287, AD746146,
88800	Shigeru Igarashi,
88900	"Admissibility of Fixed-point Induction in First-order Logic of Typed 
89000	 Theories"
89100	Diskfile: FIXPNT.IGR[AIM,DOC]
89200	40 pages, May 1972.
89300	
89400	AIM-169, CS-288, AD785072
89500	Robin Milner,
89600	"Logic for Computable Functions: Description of a Machine Implementation"
89700	Diskfile: LCFMAN.RGM[AIM,DOC],
89800	36 pages, May 1972.
89900	
90000	AIM-170, CS-289, AD748607,
90100	Yorick Wilks,
90200	"Lakoff on Linguistics and Natural Logic"
90300	Diskfile: LAKOFF.YAW[AIM,DOC]
90400	19 pages, June 1972.
90500	
90600	*AIM-171, CS-290, AD746147,
90700	Roger Schank,
90800	"Adverbs and Belief"
90900	30 pages, June 1972.
91000	
91100	*AIM-172, CS-299, AD752801,
91200	Sylvia Weber Russell,
91300	"Semantic Categories of Nominals for Conceptual Dependency Analysis of 
91400	 Natural Language"
91500	64 pages, July 1972.
91600	
91700	*AIM-173, CS-305, AD755139,
91800	Gerald Jacob Agin,
91900	"Representation and Description of Curved Objects"
92000	Thesis: Ph.D. in Computer Science,
92100	134 pages, October 1972.
92200	
92300	*AIM-174, CS-303, PB212827,
92400	Francis Lockwood Morris,
92500	"Correctness of Translations of Programming Languages -- an Algebraic
92600	 Approach"
92700	Thesis: Ph.D. in Computer Science,
92800	124 pages, August 1972.
92900	
93000	AIM-175, CS-307, AD785073
93100	Hozumi Tanaka,
93200	"Hadamard Transform for Speech Wave Analysis"
93300	Diskfile: HADAM.HT[AIM,DOC],
93400	34 pages, August 1972.
93500	
93600	*AIM-176, CS-308, AD754109,
93700	Jerome A. Feldman, J. R. Low, D. C. Swinehart, R. H. Taylor,
93800	"Recent Developments in SAIL -- an ALGOL based Language for Artificial 
93900	 Intelligence"
94000	22 pages, November 1972.
94100	
94200	AIM-177, CS-311, AD785071
94300	Richard Paul,
94400	"Modelling, Trajectory Calculation and Servoing of a Computer Controlled 
94500	 Arm"
94600	Thesis: Ph.D. in Computer Science,
94700	89 pages, November 1972.
94800	
94900	*AIM-178, CS-312, AD754108,
95000	Aharon Gill,
95100	"Visual Feedback and Related Problems in Computer Controlled Hand eye
95200	 Coordination"
95300	Thesis:  Ph.D. in Electrical Engineering,
95400	130 pages, October 1972.
95500	
95600	*AIM-179, CS-320,,
95700	Bruce G. Baumgart,
95800	"Winged Edge Polyhedron Representation"
95900	46 pages, October 1972.
96000	
96100	*AIM-180, CS-321, AD759712,
96200	Ruzena Bajcsy,
96300	"Computer Identification of Textured Visual Scenes"
96400	Thesis:  Ph.D. in Computer Science,
96500	156 pages, October 1972.
96600	
96700	*AIM-181, CS-325,,
96800	Bruce G. Buchanan,
96900	"Review of Hubert Dreyfus' `What Computers Can't Do': a Critique of 
97000	 Artificial Reason"
97100	14 pages, November 1972.
97200	
97300	*AIM-182, CS-326, AD754107,
97400	Kenneth Mark Colby and Franklin Dennis Hilf,
97500	"Can Expert Judges, using Transcripts of Teletyped Psychiatric Interviews,
97600	 Distinguish Human Paranoid Patients from a Computer Simulation of Paranoid
97700	 Processes?"
97800	10 pages, December,1972.
97900	
98000	*AIM-183, CS-344, AD759716,
98100	Roger C. Schank,
98200	"The Fourteen Primitive Actions and their Inferences"
98300	70 pages, March 1973.
98400	
98500	*AIM-184, CS-330, AD758651,
98600	Malcolm Newey,
98700	"Axioms and Theorems for Integers, Lists and Finite Sets in LCF"
98800	53 pages, January 1973.
98900	
99000	*AIM-185, CS-333, AD757367,
99100	Ashok K. Chandra, Zohar Manna,
99200	"On the Power of Programming Features"
99300	29 pages, January 1973.
99400	
99500	*AIM-186, CS-332, AD758645,
99600	Robin Milner,
99700	"Models of LCF"
99800	17 pages, January 1973.
99900	
     

00100	*AIM-187, CS-331, AD757364,
00200	George E. Collins,
00300	"The Computing Time of the Euclidean Algorithm"
00400	17 pages, January 1973.
00500	
00600	*AIM-188, CS-336, AD758646,
00700	Ashok K. Chandra,
00800	"On the Properties and Applications of Program Schemas"
00900	Thesis: Ph.D. in Computer Science,
01000	231 pages, March 1973.
01100	
01200	*AIM-189, CS-337, PB218682,
01300	James Gips, George Stiny,
01400	"Aesthetics Systems"
01500	22 pages, January 1973.
01600	
01700	AIM-190, CS-340, AD759714,
01800	Malcolm Newey,
01900	"Notes on a Problem Involving Permutations as Sequences"
02000	20 pages, March 1973.
02100	
02200	AIM-191, CS-341, AD764272,
02300	Shmuel M. Katz, Zohar Manna,
02400	"A Heuristic Approach to Program Verification"
02500	40 pages, March 1973.
02600	
02700	AIM-192, CS-345, AD785074
02800	George E. Collins, Ellis Horowitz,
02900	"The Minimum Root Separation of a Polynomial"
03000	13 pages, April 1973.
03100	
03200	AIM-193, CS-346, AD759717,
03300	Kenneth Mark Colby,
03400	"The Rationale for Computer Based Treatment of Language Difficulties
03500	 in Nonspeaking Autistic Children"
03600	Diskfile: AUTISM.KMC[AIM,DOC],
03700	13 pages, March 1973.
03800	
03900	AIM-194, CS-347, PB221170/4,
04000	Kenneth Mark Colby, Franklin Dennis Hilf,
04100	"Multidimensional Analysis in Evaluating a Simulation of Paranoid
04200	 Thought"
04300	10 pages, May 1973.
04400	
04500	AIM-195, CS-356, PB222164,
04600	David Canfield Smith, Horace J. Enea,
04700	"MLISP2"
04800	Diskfile: MLISP2.DAV[AIM,DOC],
04900	91 pages, May 1973.
05000	
05100	*AIM-196, CS-357, AD762471,
05200	Neil M. Goldman, Christopher K. Riesbeck,
05300	"A Conceptually Based Sentence Paraphraser"
05400	Diskfile:  MARGIE.NMG[AIM,DOC],
05500	88 pages, May 1973.
05600	
05700	*AIM-197, CS-358, AD762470,
05800	Roger C. Schank, Charles J. Rieger III,
05900	"Inference and the Computer Understanding of Natural Language"
06000	63 pages, May 1973.
06100	
06200	AIM-198, CS-364, AD763611,
06300	Ravindra B. Thosar,
06400	"Estimation of Probability Density using Signature Tables for
06500	 Application to Pattern Recognition"
06600	37 pages, May 1973.
06700	
06800	AIM-199, CS-398, AD771300,
06900	Bruce G. Baumgart,
07000	"Image Contouring and Comparing"
07100	52 pages, October 1973.
07200	
07300	*AIM-200, CS-365,,
07400	Shigeru Igarashi, David C. Luckham, Ralph L. London,
07500	"Automatic Program Verification I:  Logical Basis and its
07600	 Implementation"
07700	50 pages, May 1973.
07800	
07900	*AIM-201, CS-366, AD763673,
08000	Gunnar Rutger Grape,
08100	"Model Based (Intermediate Level) Computer Vision"
08200	Thesis:  Ph.D. in Computer Science,
08300	256 pages, May 1973.
08400	
08500	*AIM-202, CS-368, AD764396,
08600	Roger C. Schank, Yorick Wilks,
08700	"The Goals of Linguistic Theory Revisited"
08800	44 pages, May 1973.
08900	
09000	AIM-203, CS-369, AD764274,
09100	Roger C. Schank,
09200	"The Development of Conceptual Structures in Children"
09300	31 pages, May 1973.
09400	
09500	AIM-204, CS-373, AD765353,
09600	Kurt VanLehn,
09700	"SAIL Users Manual"
09800	Diskfile:  SAIL.KVL[AIM,DOC],
09900	122 pages, July 1973.
10000	
10100	*AIM-205, CS-370, AD764288,
10200	N. S. Sridharan, et al,
10300	"A Heuristic Program to Discover Syntheses for Complex Organic
10400	 Molecules"
10500	30 pages, June 1973.
10600	
10700	AIM-206, CS-377, AD764652,
10800	Yorick Wilks,
10900	"Preference Semantics"
11000	20 pages, July 1973.
11100	
11200	AIM-207, CS-378, AD767333,
11300	James Anderson Moorer,
11400	"The `Optimum-comb' Method of Pitch Period Analysis in Speech"
11500	25 pages, June 1967.
11600	
11700	AIM-208, CS-379, AD767334,
11800	James Anderson Moorer,
11900	"The Heterodyne Method of Analysis of Transient Waveforms"
12000	25 pages, June 1973.
12100	
12200	*AIM-209, CS-380, AD767695,
12300	Yoram Yakimovsky,
12400	"Scene Analysis using a Semantic Base for Region Growing"
12500	Thesis:  Ph.D. in Computer Science,
12600	120 pages, July 1973.
12700	
12800	AIM-210, CS-382, AD767335,
12900	Zohar Manna, Amir Pnueli,
13000	"Axiomatic Approach to Total Correctness of Programs"
13100	25 pages, July 1973.
13200	
13300	
13400	
13500	*AIM-211, CS-383, AD769673,
13600	Yorick Wilks,
13700	"Natural Language Inference"
13800	24 pages, September 1973.
13900	
14000	AIM-212, CS-384, AD769379,
14100	Annette Herskovits,
14200	"The Generation of French from a Semantic Representation"
14300	20 pages, September 1973.
14400	
14500	AIM-213, CS-385,,
14600	Ravindra B. Thosar,
14700	"Recognition of Continuous Speech: Segmentation and Classification
14800	using Signature Table Adaptation"
14900	37 pages, September 1973.
15000	
15100	AIM-214, CS-386,,
15200	Walter A. Perkins, Thomas O. Binford.
15300	"A Corner Finder for Visual Feedback"
15400	59 pages, September 1973.
15500	
15600	*AIM-215, CS-387, AD769380,
15700	Bruce G. Buchanan, N. S. Sridharan.
15800	"Analysis of Behavior of Chemical Molecules: Rule Formation on
15900	 Non-homogeneous Classes of Objects"
16000	15 pages, September 1973.
16100	
16200	*AIM-217, CS-391, AD770610,
16300	N. S. Sridharan.
16400	"Search Strategies for the Task of Organic Chemical Synthesis"
16500	32 pages, August 1973.
16600	
16700	AIM-218, CS-393,,
16800	Jean Etienne Vuillemin.
16900	"Proof Techniques for Recursive Programs"
17000	Thesis:  Ph.D. in Computer Science,
17100	97 pages, October 1973.
17200	
17300	*AIM-219, CS-394, AD769674,
17400	C. A. R. Hoare.
17500	"Parallel Programming: an Axiomatic Approach"
17600	33 pages, October 1973.
17700	
17800	AIM-220, CS-396,,
17900	Robert Bolles, Richard Paul,
18000	"The use of Sensory Feedback in a Programmable Assembly System"
18100	26 pages, October 1973.
18200	
18300	AIM-223, CS-400, AD772509,
18400	C. A. R. Hoare,
18500	"Recursive Data Structures"
18600	32 pages, December 1973.
18700	
18800	AIM-224, CS-403,,
18900	C. A. R. Hoare,
19000	"Hints on Programming Language Design"
19100	29 pages, December 1973.
19200	
19300	AIM-225, CS-406,,
19400	W. A. Perkins,
19500	"Memory Model For a Robot"
19600	118 pages, January 1974.
19700	
19800	AIM-226, CS-407,,
19900	F.H.G. Wright II, R. E. Gorin,
20000	"FAIL"
20100	61 pages, April 1974.
20200	
20300	AIM-227, CS-408,,
20400	A.J. Thomas, T. O. Binford,
20500	"Information Processing Analysis of Visual Perception: A Review"
20600	    pages, May 1974.
20700	
20800	AIM-228, CS-409, AD776233
20900	Lester Earnest, (ed.),
21000	"FINAL REPORT:  The First Ten Years of Artificial Intelligence 
21100	 Research at Stanford"
21200	118 pages, July 1973.
21300	
21400	AIM-229, CS-411,,
21500	D.B. Anderson, T.O. Binford, A.J. Thomas, R.W. Weyhrauch, Y.A. Wilks,
21600	"AFTER LEIBNIZ...: Discussions on Philosophy and Artificial Intelligence"
21700	43 pages, April 1974.
21800	
21900	AIM-230, CS-412,,
22000	Daniel C. Swinehart,
22100	"COPILOT:  A Multiple Process Approach to Interactive Programming Systems"
22200	Thesis:  Ph.D. in Computer Science,
22300	    pages, May 1974.
22400	
22500	AIM-231, CS-413,,
22600	James Gips,
22700	"Shape Grammars and their Uses"
22800	Thesis:  Ph.D. in Computer Science,
22900	243 pages, May 1974.
23000	
23100	AIM-232, CS-414,,
23200	Bruce G. Baumgart,
23300	"GEOMED - A Geometric Editor"
23400	45 pages, May 1974.
23500	
23600	AIM-233, CS-419,,
23700	Charles J. Rieger, III,
23800	"Conceptual Memory:  A Theory and Computer Program for Processing the
23900	  Meaning Content of Natural Language Utterances"
24000	Thesis:  Ph.D. in Computer Science,
24100	393 pages, June 1974.
24200	
24300	AIM-235, CS-432,,
24400	Richard  W. Weyhrauch, Arthur J. Thomas,
24500	"FOL:  A Proof Checker for First-order Logic"
24600	June 1974, 57 pages.
24700	
24800	
24900